11![SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology](https://www.pdfsearch.io/img/eab07a875b5b9e9b36e95de7381a9dd7.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-12-12 08:42:01
|
---|
12![A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d](https://www.pdfsearch.io/img/393691cbcdb65def03ef30e93d73b09c.jpg) | Add to Reading ListSource URL: webblaze.cs.berkeley.eduLanguage: English - Date: 2014-11-17 18:57:29
|
---|
13![SymNet: scalable symbolic execution for modern networks Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest Splaiul Independentei 313, Bucharest, Romania SymNet: scalable symbolic execution for modern networks Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest Splaiul Independentei 313, Bucharest, Romania](https://www.pdfsearch.io/img/b676389383688083e99418466e682a16.jpg) | Add to Reading ListSource URL: nets.cs.pub.roLanguage: English - Date: 2016-07-20 11:18:40
|
---|
14![Accelerating Array Constraints in Symbolic Execution David M. Perry∗ Andrea Mattavelli Xiangyu Zhang Accelerating Array Constraints in Symbolic Execution David M. Perry∗ Andrea Mattavelli Xiangyu Zhang](https://www.pdfsearch.io/img/6817d9951af11e9dd268c9a21d39d9dd.jpg) | Add to Reading ListSource URL: srg.doc.ic.ac.uk- Date: 2017-05-19 12:23:50
|
---|
15![Symbolic Types for Lenient Symbolic Execution Symbolic Types for Lenient Symbolic Execution](https://www.pdfsearch.io/img/988380369f9a4d98bd8ff5e2bb41f59a.jpg) | Add to Reading ListSource URL: www.ccs.neu.edu- Date: 2017-12-12 10:22:57
|
---|
16![Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster](https://www.pdfsearch.io/img/8111b009affab8f6ded138179bb5cbc6.jpg) | Add to Reading ListSource URL: www.cs.colorado.edu- Date: 2017-05-01 12:25:34
|
---|
17![Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar](https://www.pdfsearch.io/img/748cbd91a87745dec1a1fa4d7d696e51.jpg) | Add to Reading ListSource URL: srg.doc.ic.ac.uk- Date: 2017-10-24 05:39:23
|
---|
18![Chopped Symbolic Execution David Trabish Andrea Mattavelli Noam Rinetzky Chopped Symbolic Execution David Trabish Andrea Mattavelli Noam Rinetzky](https://www.pdfsearch.io/img/6bdd30acb47206cfe898718872728003.jpg) | Add to Reading ListSource URL: srg.doc.ic.ac.uk- Date: 2018-02-19 14:22:13
|
---|
19![Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo](https://www.pdfsearch.io/img/359f93fe7ffbc7f3bf057c41fd8073e6.jpg) | Add to Reading ListSource URL: srg.doc.ic.ac.uk- Date: 2017-10-17 05:46:31
|
---|
20![Symbolic Types for Lenient Symbolic Execution Symbolic Types for Lenient Symbolic Execution](https://www.pdfsearch.io/img/0ad9155038c21851907c0610b5464d82.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2017-12-12 13:01:34
|
---|